detailed proof
英 [ˈdiːteɪld pruːf]
美 [ˈdiːteɪld pruːf]
网络 详细证明
双语例句
- In this paper, a detailed proof is provided for these conclusions.
对于以上结论，本文提供了详细证明。 - A detailed black-box simulator for the security proof of the proposed scheme is also given.
对于这个方案给出详细的基于黑盒模拟的安全性证明。 - In this paper. Theorem 2 gives a detailed proof of an important theorem in Theorem 3 gives a structural proof about a conclusion that is widely used in the theory of local convex space and distribution.
本文定理2对[1]中一重要定理给出了详细的证明，定理3对在局部凸空间和广义函数论中被广泛使用的一个结论给出了构造性的证明。 - Establishment of limitation of proof system is an inexorable demand for realization of procedure justice, and is corresponding to pursuing benefit of action. Detailed requirements relating to the issue of litigation of proof have been provided in the civil procedure laws in many countries in the world.
举证时效制度的设立，是实现程序正义的必然要求，又是追求诉讼效益的应有之义，世界上许多国家的民事诉讼立法都对举证时效问题作了具体的要求。 - Suggests that more detailed regulations on choice of explosion proof air conditioning equipment and design of air conditioning in dangerous chemicals warehouses be added.
有必要对防爆空调设备的设计选用和化学危险品仓库空调设计作出更详细的规定。 - The authors give a detailed proof of Gamma convergence result of the generalization energy functional, and Euler-Lagrange equation for optimizing the new energy functional is also proved.
从理论上证明了新能量泛函的Gamma收敛性，推导了最优化能量泛函所满足的欧拉-拉格朗日方程。 - This essay has made a detailed introduction and analysis on strict responsibility system, illustrating the difference with absolute responsibility, pointing out that shifting burden of proof has become its important part, correcting the misunderstanding existed in the scholars in our nation.
本文对严格责任制度作了详细的介绍和分析，阐述了其与绝对责任的区别，指出举证责任转移已成为其重要内涵，澄清了我国一些学者的误解。 - In the light of the detailed discussion on various possibilities and interrelationships, the proof for k ≥ 1 is obtained by means of the differential equation method.
在详细讨论种种可能情况及相互关系的基础上；利用微分方程法得到k≥1时的证明。 - Based on the fact the parallel hexagonal grid can be decoupled into two sets of 3-direction triangular grids, a detailed proof for the second order behavior is given and the corresponding fast solver for Helmholtz equation is also studied.
基于平行六边形网格可以被分解为两套三向三角形网格，我们给出成对4点格式的二阶收敛性的证明，并且提出相应的预条件子快速解法。 - This article presents a detailed proof of a 3 dB lumped parameter quadrature coupler suitable for HF/ VHF and gives a set of formulas for calculating element parameters.
对一种适用于HF/VHF频段的3dB集总参数正交耦合器进行了详细论证，得出参数的诸公式。 - A solution to the diagonalization problem ( under equivalence) for row-column-finite infinite matrices on a general field is announced, and the detailed proof of one main theorem is given.
给出一般域上行列有限无限方阵对角化（在等价意义下）问题的解答，对其中主要定理之一作了详细证明。 - In Xie Xuejun ( 2000), the design and performance of model reference adaptive controller for stochastic systems was given, and in this paper, the detailed proof of stability and optimality of the MRAC scheme is provided.
解学军（2000）给出了一种模型参考自适应控制的设计方案，该文给出了其稳定性及最优性的详细证明。 - This paper puts forward the principle of complementary virtual work in the finite displacement theory of elasticity and provides a detailed proof thereof.
本文建立了有限变形弹性理论中的余虚功原理，包括此原理的提出与详细的证明。 - In this paper, the principles of FIFO and LRU algorithms are briefly introduced, and Z specification containing comparatively detailed description of the two algorithms is presented, and the preconditions of some operation schemas and the proof of a theorem in the system are given.
接着对这两种算法用Z规格说明语言进行了比较详尽的描述.最后给出了一些操作模式的前置条件，并对系统中的一个定理进行了证明。 - Two implementation modes on personal file encryption: Establishes the virtual disk, carries on the encryption to the single file to store separately, carries on the detailed analysis and the proof.
就个人文件的加密存储的两种实现方式：建立虚拟磁盘、对单个文件进行加密存储，进行详细的分析与论证。 - In this thesis we offer detailed proof of main theorem on tori which take symmetric space as the main tool.
用对称空间的有关知识给出了极大子环群定理的详细证明。 - Make a detailed analysis of the academic ground stations network, research the redundant scheduling problem and design the fair function with theoretical proof.
分析与研究了小卫星任务调度中学术型地面站网络的特点，研究小卫星任务冗余调度问题，提出了公平性优化目标函数，并对其进行理论证明。 - Point out that the process neuron can be approximated infinitely using the traditional neuron, present two approximating theorems and their detailed proof, and give two related corollaries.
指出了过程神经元可用传统神经元进行无限逼近，给出了两个逼近定理和证明，以及相关的两个推论。 - Based on former work, we independently give the detailed proof of most liar sentences.
在前人工作的基础上，独立给出了绝大多数悖论语句的详细证明过程。 - A large number of detailed data was used to scientific proof of the results relied on this method which can enhance the effect of CP_VSP.
以大量翔实的数据，论证了依靠该方法所获得的运算依据更具科学性、准确性，并能够有效提高朝批车辆的综合利用率。 - During the detailed construction, that the subject of proceedings, jurisdiction, interventions, burden of proof, litigation risk allocation and implementation details should be detailed.
在具体的构建过程中，应该在诉讼主体、管辖范围、介入方式、举证责任、诉讼风险分配和实施细则等方面加以明确和细化。 - It proposes the incremental learning algorithm based on weighted naive Bayes and gives a detailed proof and analysis. 4.
在此基础上提出加权朴素贝叶斯方法增量学习算法，并对算法给出了详细证明与分析。 - The Maxwell functions of steady current field are presented. And we give detailed proof to the potential boundary value problems of uniqueness theorem under the three types of boundary conditions.
为此给出了恒定电流场中的Maxwell方程，对电位边值问题唯一性定理的三类边界条件做出了详尽的证明。 - And detailed proof of the multi-sensor data collection can effectively reduce the total mean square error.
证明了多传感器数据融合技术可以有效地减少系统的总均方误差。 - Through detailed theoretical analysis proof, 4 kinds of control protocol throughput and related system properties is obtained.
通过详尽的理论分析证明，得到了四类控制协议的吞吐量和有关系统特性。 - Three parts of the architecture was detailed analyzed: Drag-Free control loop, proof mass control loop and satellite attitude control loop.
分析该体系结构下Drag-Free控制回路、质量块控制回路和卫星本体姿态控制回路的组成和实现原理。 - First, by doing the detailed analysis of the actual flow process in the nozzle, we can draw the conclusion that this process can be seen as a changeable process, and give the relevant proof.
首先，通过对气体在喷管内实际流动过程进行分析，得出了该过程可以看做是一种多变过程的结论，并给予了解析说明。